COMMENT ⊗   VALID 00007 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	find mockbbreviations
C00004 00003	1101F79  AI Ctr. Technical Note Abstracts, SRI International
C00007 00004	0101W80  Schanberg article
C00012 00005
C00017 00006	0701E80  Haugeland, John.  Weak Supervenience
C00021 00007	1003F80  William Massy.  Sent CBCL[F75,jmc]
C00022 ENDMK
C⊗;
find mockbbreviations



AAAI    American Assn for Artificial Intelligence
ACM     Association for Computing Machinery
AMPS
ATP
BBS     The Beahvioral and Brain Sciences
CASBS   Center,Advanced Studies Behavioral Sciences
CCS	Committee of Concerned Scientists
IFIP    IInternation Federation for Information Processing
ICCP    International Conference on Collective Phenomena
III     Information Internation Incorporated
SE2	Scientists and Engineers for Secure Energy
1101F79  AI Ctr. Technical Note Abstracts, SRI International

1101W79  Scott Kim, grad student

ll09W79  Academy Council on Foreign Policy.  Salt II, NATO

ll16W79  Prof. Herbert Teager, Pattern Recogntion problems in AI

1201W79  Jackson, Philip. MS thesis, UCSC

1201W79  John Carr, letter from Xian, China re Chinese laboratory

1205F79  Dialnet Project + Paul Stoft, Hewlett Packard

1205F79  Lifschitz, re Dr. Grigorii Mints

1206F79  Larsen, Cecilia, Request for IBM version of LISP Program

1206F79  MIT Press, LISP 1.5 PROGRAMMER'S MANUAL.

12l7F79  ICCP, 4th.  Organizing committee, letter to Joel Lebowitz

1218F79  Sperry Univac - re copyright materials

1218F79  Zh. Atanasov, Poland, Polish Academy of Sciences

12l8F79  IBM, Watson Research Lab.  air ticket

1218F79  Michael Intriligator, UCLA, Abstract for Marschak Seminar

1219F79  J. Raviv, "Computer, Man and Society"

1220F79  R.C.T.Lee, National Tsing Hua U., re Dr. Sheu enrolling at Stanford

1220F79  Firdman, considerable correspondence

0101W80  Schanberg article

0101W80  Technology and Society, Computer Technology opportunities

0100W80  Preserving Computer-related Source Materials

0105W80  ATP Prize Committee, 

0107W80  Logic of Conjecture - Lawlor,attorney, Pasadena

0110W80  Firdman

01l8W80  Dr. Alick Elithorn,Royal Free Hospital, London, NATO Symposium

0118W80  Indiana Univ. CS Dept., re expense voucher

0122W80  Computer use, Stan. U.Advisory Com. on Computer Use

0123W80  "Formalizing Ockham' Razor", J. Marschak Colloquium, UCLA

0124W80  Schanberg's article, JMC letter to NY TIMES

0127W80  Kodak, re lecture slides

0130S80  ACM l979 Conference Tapes.  Information Cassettes, Inc.


0201W80  Informatics Lab., Linkoping Univ. Sweden, asking for information

0204W80  Dr. Alick Elithorn, Royal Free Hosp. London,Symposium invitation

0206W80  B. Randell, invitation to AI Seminar Newcastle upon Tyne

0201W80  Prof. P. Beckmann, U. of Colorado, re liquid hydrogen

0212W80  Liu Zhong-fu, Harbin Inst. of Technology, Declining visit there

0211W80  Financing research in electronics, letter to "Forum"   

0214W80  Control of superluminal channel, Henry Stapp, Lawrence Lab

0225W80  CCS, visa application, title, vita for Soviet meeting.

0300W80  American Academy of Arts and Sciences, March l980

0306W80  Cartwright "error", letter and paper from Takeshi Hayashi, Kyushu U.

0310W80  Schanberg's article, letter from L. R. Abramson

0310W80  Doug Murray, U.S.-China Program, re Harbin Institute invitation

0312W80  Harold Deakins, Illinois Power, Decatur. Tape for 60 Minutes

0319W80  Metzger, H. P., THE COERCIVE UTOPIANS:THEIR HIDDEN AGENDA

0319W80  Metzger, H. P., BOVERNMENT FUNDED ACTIVISM:HIDING BBEHIND THE PUBLIC INTEREST

0320W80  Pereira, Luis Moniz Prof.  Logic Programming

0321W80  ALCOA  - new unrestricted account for AI



0401S80  Syllabuus for Qualifying Exam in AI, Spring l980

0401S80  Anthony Hearn, TThe Personal Algebra Machine.  Paper at IFIP80

0400S80  "Nuclear Power: Where do we go from here?

0400S80  SE2, Status Update, February l980

0400S80  SE2, News release, March l980

0400S80  SE2, News release, April l980

0400S80  Solution to Branching Factor.., Judea Pearl,UCLA

0400S80  RETE, Abstract, Charles L. Forgy, Carnegie-Mellon U.

0400S80  Learning Control of Production Systems, Abstract, Stolfo, Columbia U.

0401S80  Boden, Maggie, letter from

0402S80  NASA Software Research/Technology Workshop Abstracts

0407S80  ASME,invitation to winter meeting, N. P. Sun, MIT

0411S80  SE2, letter to Pres. Carter re INFCE.

04l6S80  George McGovern, letter re Iran

0417S80  James Craig, EE grad student studying in AI with JMC

0418S80  CS Dept., Programming Courses and the Honor Code - Denny Brown

0422S80  SE2, News release  on control of nuclear proliferation

0428S80  Machine Intelligence Workshop, l0th.  Michie LE1



0500S80  American Academy of Arts and Sciences, May l980.  Human Issues in Space

0501S8   SE2, Reprint from NUCLEONICS WEEK on reprocessing.

0509S80  ASPEN, Agenda - "Coping with U.S. Petroleum Supply Interruptions"0512S80  

0512S80  Blattner, M., re NSF support of new project

0512S80  A. Nait-Abdallah.  Employment at Stanford

05l1S80  Collective Phenomena, Conference on - Refuseniks

0515S80  Aspen Institute, Wye meeting, May l980, Chauncey Starr

0519S80  ASPEN, Conclusions of workshop on Coping with U.S. Petroleum Supply.....

0500S80  SE2, Status Report May l980

0525S80  CCS, Volvovsky

0525S80  CCS, Firdman

0528S80  Boden letter.  "The Case for Cognitive Biology"

0528S80  Research interests, Stanford faculty

0514S80  BBS.  Article title to be BELIEFS, MACHINES, AND THEORIES.




0601S80  Black Tuesday, June l980

0601S80  Reis, Richard. FUTURE SURVEY, Energy crisis

0601S80  WG2.2 meeting, June 1980, Copenhagen

0602S80  ATP Prize Committee, Bledsoe, W., Reddy, R.

0602S80  Davies, Kathryn, inquiry about schooling.  Surrey, England

0605S80  Kahn, Robert. Request from T. Binford, access to ARPA VAX systems

0609S80  SE2, on Nuclear Energy

0609S80  James Solinsky, LaJolla Institute Workshop invitation refused.

0617E80  GIST draft manual

0618S80  News Service Software.  

0623S80  Ringle, Martin, Cognition and Brain Theory, CBT

0623S80  Natural Language.  Prof. Haugeland.  MRHUG

0623S80  Blackburn, J., Carroll Johnson papers re Knowledge Engineering

0623S80  SE2 meeting Stanford.  McCarthy speech reported.

0624S80  Song, Thais parody

0626S80  Legal Reason, Artifice of,John Kelly

0626S80  Friends of the Earth. Soft Energy path.  Lovins.

0626S80  WELMM Approach.  Options, IIASA Report

0630S80  Walter Kiechel.  Computer library

0630S80  Doszkocs and Rapp, Computer library
0701E80  Haugeland, John.  Weak Supervenience

0701E80  G. P. Baker.  Defeasibility and Meaning

0701E80  SUN Display Cluster, A Data-Disk Replacement

0701E80  JOURNAL OF ALGORITHMS, Editors, Knuth and Wilf

0701E80  Goldman & White.USC/ISI A Relational Data Base Foundation for Process ...

0701E80  Institute for Policy Studies, Anti-Technology

0702E80  Pearcey T., Caulfield Institute of Tech., Australia

0716E80  Fr. Neil Hurley, SJ., Article by Teilhard de Chardin, Noosphere

0722E80  Balzer, & Goldman.USC/ISI,  Principles of Good Software Specifica.....

0722E80  AI Conference, Aug. l980.  Title of speech.  PROGRA.xgp[1,jra]

0729E80  Bledsoe, W., Prize in Automated Deduction.  Comments of Alan Bundy.

0730E80  Schnitzer, Kenneth, SE2, nuclear waste

073lE80  Dana Scott, LISP



0801E80  LEGAL ACTIVITIES REPORTER.  National Legal Center for the Public Interest

0805E80  AAAI Editorial Board meeting, Aug. 20, l980

0812E80  Boden, AI AND NATURAL MAN.  Copyright, Basic Books, Inc.

0815E80  Workshop on Formal Methods in AI, Moss Landing, CA.  Aug l5-l7, l980

0821E80  Barkin, Jeffrey.  Inquiry about research position.  Swarthmore College

0825E80  AAAI Conference inquiry

0829E80  IFIP Working Group 2.2, meeting April 27, l981.  Minutes of June, l980.

0829E80  Professor Kazuaki Iwata, Kobe University



0901E80  Nils J. Nilsson, The Interplay between Experimental and Theoretical
         Methods in Articial Intelligence.  SRI Technical Note 229.
        
0901E80  The Plactic Ring, Lascoux and Schutzenberger

0908E80  International Workshop on Program Construction

0911E80  Resume, Fred Abramson, to work at Stanford summer l981

0917E80  Annual Faculty Report for Academic Year l979-80

0918E80  Michael Benefiel, Foreign Commercial Service, Tokyo.  Wanted AI Info

0929E80  Henry, Margaret.  Council for International Exchange of Scholars
1003F80  William Massy.  Sent CBCL[F75,jmc]
1009F80  Fenaughty, A. L., III, letter re Alan Miller